#include<lib/stdlib.h>
#include<os/debug.h>

void abort()
{
    Spin("abort");
}



